$\forall$${\it ds}$:$x$:Id fp$\rightarrow$ Type, ${\it da}$:$k$:Knd fp$\rightarrow$ Type, $k$:Knd, $l$:IdLnk. msg{-}item(${\it ds}$;${\it da}$;$k$;$l$) $\in$ Type